#ifndef CHECK_H
#define CHECK_H

#include "newGraph.h"
#include <string>

using namespace std;

class State
{
public:
	VariablesMap variables;
};

enum CheckResult { CONFLICT, INCONCLUSIVE, CONSISTENT};

inline string CheckResult2string(CheckResult c)
{
	switch(c)
	{
	case CONFLICT:
		return "Conflict";
	case INCONCLUSIVE:
		return "Inconclusive";
	case CONSISTENT:
		return "Consistent";
	default:
		throw -1;
	}
}

CheckResult checkModel(NewGraph * graph, const string & assignmentFile);


#endif
